Representing impossibilities
in math, you often deal with impossible situations (such as within a proof by contradiction). How do you reliably represent these impossibilities within the explorable explanations framework?
if you want to do a proof by contradiction, you somehow have to visually represent impossible situations!
