Finished the semantics of conectives