Guzal-proofs - TurtleFeet