../../Task/Boolean-values/Standard-ML