rushpop‘s Following are private.