consult(init).
goedel.
;c Comp02.
;l Comp02.
IfGreater(5.1, 4.2).

halt.