added clause checking methods