Implemented Conjunction and Simplification