If live-feed is "missing in action" - reload the page.
Sandra’s seen a leprechaun,
Eddie touched a troll,
Laurie danced with witches once,
Charlie found some goblins gold.
Donald heard a mermaid sing,
Susy spied an elf,
But all the magic I have known
I’ve had to make myself.
Conflicting and/or contradictory rules are presented. Unless we resolve the inconsistency, we can’t actually build or run anything.
Reductio ad absurdum is a mode of argumentation that seeks to establish a contention by deriving an absurdity from its denial, thus arguing that a thesis must be accepted because its rejection would be untenable. It is a style of reasoning that has been employed throughout the history of mathematics and philosophy from classical antiquity onwards.