tautological tests