../../Task/Logical-operations/Standard-ML