Amendment rules in tezos