( (defun print (R P) (if (all "$print$" R P) P P)) )