Proofs, math homework and related stuff.