I am a horse in the lang of booleans