We explain an observation of Mike Shulman's; it shows how one can obtain the equipment Cat → Prof as a free cocompletion in the world of bicategories enriched over a particular monoidal bicategory F. This F has as objects, arrows A → C from a discrete category to a cocomplete one, and as arrows, pseudocommutative squares. An F-bicategory is a category A with a pseudofunctor A → C into a locally cocomplete bicategory (and composition preserving colimits in each variable). The free cocompletion yielding Cat → Prof is that of 1 → Sigma(Set) with respect to tight coproducts and tight Kleisli objects. Various generalisations are discussed.