Zooko's triangle and Marc's petnames