Welcome to Boolean Boulders, where the logic is as rough as the stones.
And, of course, our famous Boolean Boulders' theorem: A = F