Exercise set #1, 1st-order [Jun 6, 2012]

[Home of Proofmood]