A REAL logic puzzle