Smal simplifications