Default methods should return a single form, not a list of forms.
Wrap prologue forms in a PROGN.
WHILE and UNTIL clauses generate body forms, not termination forms.