Reflective Symmetry in Construction and Proving.