Imagine que es un operario de una fábrica de cartas. Su tarea consiste en controlar que los pares de cartas que se le presentarán a continuación se hayan producido acorde a la siguiente regla: "Si una carta tiene un círculo en un lado, entonces tiene el color amarillo en el otro".