the way it was changed back to does not define if is a b or b a under constraint that a b a a b that is precisely what the previous version the other proposal avoided