I just noticed the PROGN can be omitted...