theorem
  for b, c be Element of PFuncs (V, C) holds b in A & c in B & b
  tolerates c implies b \/ c in A^B;
