also notes in bound
proof lines and under statement
___