Some varieties of the 3d Beaver as Proofs