The work of Alex Prager