On the island of blue-eyed logicians, everyone can already see that someone has blue eyes. · QuantMax