also notes in bound
proof less less proof able bound
___