Implemented connectives