inerrability

not defined yet