Before revision:  Furthermore, we present an efficient post-computation which , when paired with an approximation algorithm for maximin support , returns a new solution that a) preserves the approximation guarantee, b) satisfies the PJRproperty , and c) can be efficiently verified to satisfy PJR by an untrusting third party.
After revision:  Furthermore, we present an efficient post-computation which , when paired with an approximation algorithm for Maximin Support , returns a new solution that a) preserves the approximation guarantee, b) satisfies the PJRproperty , and c) can be efficiently verified to satisfy PJR by an untrusting third party.