fix wrong axioms (#9511)
fix wrong axioms (#9511)

Co-authored-by: Josef Widder <8d013b6d705aedaac8acda5d45fd273ab8d6255b@users.noreply.github.com>
tendermint/tendermint,tendermint/tendermint,tendermint/tendermint,tendermint/tendermint