![X] : (p(y) => (![X] : p(X)))