Thanks for the link, nice to see the informal conventions spelled out like this!