To our knowledge, a sequence file does not exist