also notes in bound
proof less bound lets bound ___