Bisim24‘s Following are private.