conservativeness holds tautologically.