superump‘s Following are private.