[ahacke-proofs.jpg]