Must not reduce clause to intersect with the initial state