egentligt att kalla en definition för en tavtologi ; - en formell tavtologi får den icke vara,