Cave_explorer‘s Following are private.