https://9dok.net/document/y6emk317-frettl-exercise-exercise-reflexive-symmetric-transitive-consider-formulas.html