"There may, indeed, be other applications of the system than its use as a logic." ― Alonzo Church - View it on GitHub