https://tarachoate.com/negatively-defined/figure_33/