also notes in bound
proof lines marking progress ___