Logic Simplification
simplification
