Calculate and output definitional equalities