{?X a ?Y} => {?X a ?Y}.