<p>💭 the law of excluded middle requires there to not actually be a middle</p>