Commented the 'phony' section
Added comments explaining cond/case/begin