Renaming truthiness to existential