also notes in bound

proof less less proof able less✕