new(@succeed, message(@pce, succeed)).
Note that the following is faster:
new(@succeed, new(and)).
->