required(sum([p(X)/2],<,5)).
