bison18‘s Following are private.