# 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!