DSC Multilingual Mystery #4: Isabelle and the Missing Spaghetti-O's