We build a bicategory involving ultraproducts, and find ourselves unable to resist enriching over it. The resultant structures appear to have some relation with Makkai's Stone duality for first-order logic