la:logical-connectives