Further simplification as I try to understand the conditions