tautalogy.c