ยง Ultraproducts in Logic [WIP ]