А аксиомы проверили?