{hook}

{proof_metric} {supporting_point}