also notes in bound
proof less lines ___