No 1.    V. I. Ursu: Undecidability of the elementary theory of finite commutative loops