Possible Answers For: Vacuous sorts