generate a proof, P, that you know both vectors of holons and they are within the attacking holon's range
generate a proof, P, that you know both vectors of holons and they are within the attacking holon's range