Check the existence of every tuple before we assume it.