Jag tycker inte man kan säga att den 13:e personen INSER att han inte får någon paj när den 7:e personen tagit sin bit. Det står bara att han vet om det när den 7:e personen tar sin bit. Därför kan han ha INSETT det redan då den 6:e personen tog sin bit av 11-bitarstårtan. Det kan alltså vara både 11 bitar och 12 bitar. Sen att 11-bitarstårtor inte existerar är en annan sak. Men det vet inte en insnöad matematiker om.