Added theorems, proofs, lists, source code and math.