И слоны бывают разные. Coq.