. "to 5;Q is a bond provided that Z is not a bond when p is 1; orQ is O, S" . . .