simplifications...