§ Ultraproducts in Logic [WIP ]