Require class
nInclude the following statement immediately after the package statement.
uimport CSCI.utilities.*;
nNow you can use the method condition in the Require class.
nstatic public void condition
n       (boolean precondition)