WIP: testing browser proofs