On Doctrines and Cartesian Bicategories