Talk:Axiom Manipulation/@comment-35836648-20180920165141

I don't get it. How is this more powerful than principle manipulation.