with Pax manifest