untautologically

not defined yet