Simplifying assumptions