2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$ - 42Papers