strict inequalities are implemented. User has access to epsilon