Supongamos que existe un programa de demostración de programas elegantes, llamemoslo ET (elegance-testing).