[spec] inverse p-value and distance integral