In this series of posts, I explore a potential way to formalize logical counterfactuals. To do this, I first come up with an alternate formalization of first order logic, where you don’t think in terms of true or false, but in terms of similar or different. This makes proving a theorem equivalent to finding a path through an infinitely large maze.