Which Proofnik will get the "Trustworthy. ish." badge next? [now with the good multiple-choice market type]