generated at
Fredkin's paradox