????????????????????????????????????????????????????????????????Finally, they certified their conclusion With all the caveat that "Qualities need to be formally proved as a way to deem MTProto 2.0 absolutely safe. This proof can't be completed within a symbolic design like ProVerif's, but it may be reached in the computational design, employing equ