Yeah this is true, I suppose I sort of swipe it under the rug in the post. Another way to say it is: If the art is Tolstoyan, then we have that it is valid to b

Yeah this is true, I suppose I sort of swipe it under the rug in the post. Another way to say it is: If the art is Tolstoyan, then we have that it is valid to be used in the ZKP.