richexp‘s Following are private.