However, user has a problem, too; if GLOPS comes through as GLOPT, he’s in trouble. Any method of communication needs redundancy, or information can be lost. Was at redundancy that Mike nibbled, with perfect patience of machine.