Can simplification be left off here?