C'è o non cè?

Nella cartella $cartella manca il file $file.
Sotto la cartella $cartella c'è un file con quel nome, ma [...].
Ma allora: il file c'è oppure il file non c'è??? Decidiamoci!