Trivial simplification