Uma casa foi enfeitada com lâmpadas pisca-pisca de cinco cores: amarelas, verdes, vermelhas, azuis, roxas. Há uma programação para o acender e apagar das lâmpadas, mas sabe-se pouco sobre ela. A única informação que se tem é que, se as lâmpadas azuis estiverem acesas, todas as outras lâmpadas estarão apagadas, exceto as vermelhas. Se este arranjo funcionar corretamente, é certo que