strip even more implementation detail in Precond