also notes ably
a string in visible proof
___