Added tables for connectives