Dear OpenMathers, I would like to suggest that logic1 CD may need a revision. The description of it does not say whether the functions are for two-value logic or not. In some systems, three-value logic is used. It would be better if we state the meanings of each OMS as explicit as possible. Clare