SMS: Math proofs demystified /