Starting writing about tautologies and such stuff