Then we will probably have to write out all the names. @asmeurer , any suggestions?