test simplifications