How do the IPX formulations work?