lib/Relation/Binary/Logical/LEM.agda