Reducing conditions

Summary