theorem
  for f,g being Function st dom f misses dom g holds f tolerates g;
