texrex‘s Following are private.