i love it when mathematicians create expanded universes for logic problems, with their own OCs