We weren't able to find "anti-axiom"

Perhaps, you want to check one of these: