nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqu7eu2j3ytu686e0dp984rqn2kedylkz2k7qlvxvshdg67h77f3aqn3nuf5 Not my words, but Robin Milner's!
@nprofile1q... Oops, I now see that was ambiguous. Edited to clarify!