Alternate Names for Eric's pool, Mio