Verifying Pax...