Proofmirror Fields