An axiomatization for the universal theory of the Heisenberg group (Groups, Complexity, Cryptology, 2023)