I assume you meant `(or/c tc-results/c #f)`, which is correct.