They are all aware that each of them is wearing a hat, and that two
KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL KETOL