also notes in bound
proof lines map a ether bound
___