Fantástico, caríssimo! Máquina de transformar café em teoremas foi hilário! O SuperPovo Gosmento de Boz, sem o L no meio, conquanto também tentacular, transforma teoremas em Herda e os expele a distância, mormente rumo ao ventilador. Desses daí, Pallas deve manter distância segura, medida em anos-sombra: mesmo tendo o matemático húngaro um excelente humor, imagino que ela não iria gostar da urbanidade húngara atual, reduzida à Orbánidade. Lá, também tá cheio de supergosmentos tosqueira.

Uma outra bela alienígena, chamada Hesse, visita a terra, e diz que as leis da lógica, uma vez que elas são formuladas numa linguagem, feita por humanos, são artefatos humanos; moldados a nos permitir achar nosso caminho no mundo; nós poderíamos sustentar que as leis da lógica são, em parte, resultado de fatores sociais. Como os matemáticos podem escolher entre as hipóteses de Pallas e Hesse ?