. . . . . . . . "This formalisation paper captures excellently one of the main claims made in the original article. I have a small comment regarding the style of the formalisation paper itself. There is no quote from the original paper and instead the paraphrased claim was inserted (sub:quote triple in the Provenance section)." . "2" . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwi1YMnpV5z/0oMXyFYDKS5cirQQWTMZ/jbglmVY1gl3YAgrkqsQUmgaxA/ho+VV8jsfREIL8PT2czbmCjGjMJoNaKVqJq1GoIUV9+Kj9yXxNySyDAOTDsIM0zdj1BEu5uNbtfzwQPGuhVpgLR05Uk/meCyYLPs3BxC5zRbtulmwIDAQAB" . "r4wSyzN5B+EOaJnyqChg8y78J8V0bFcaggHYJGo1A1k8PMGHlTxwF9xOsfUmJoEZCa1QU4kAZlScHyQKSTPDr8XQI6n+GvoWDObqItFYukfsACYme1evZRyYKq0sNpZZTg6FyG04hmDpU+PVEeFhQR03K4MYr4F1dpYDjo31N0Q=" . . "2021-08-17T13:35:45.055+03:00"^^ . . . . .