Logicfolding tau