tolerance (in logic)