Complex proofs of real theorems | lit.salon