tautological documentation