Proofless Arithmetic

Whirlwind (Slow Motion)