Motif: Mathematics and Proofs