Conjunction

Helper function for and-rules