(format t "Yes~%")