law-of-excluded-middle tumblr