The polynomial-time functions being 'total' in M means only that M satisfies their defining axioms, ...