Proofless Arithmetic

Imperfect Foldings