The conversion of 'Only a man is a donkey' yields 'Every donkey is a man' only if donkeys exist, but...