consult(init).
goedel.
;c DoubleTable.
;l DoubleTable.

halt.