mjmisc‘s Following are private.