а вот мне честно говоря пэды в аксиомах вообще не нравятся.