also notes in bound
proof ___