HAMLET Proof