also notes in bound
proof lines map less err at ___