Wiemar Proof Triples