olive oil • medium onion, chopped • carrots, peeled and chopped • celery stalks, chopped • garlic, chopped • salt • freshly ground black pepper • can diced tomatoes • dried lentils, picked over • low-sodium chicken broth • dried thyme • dried elbow pasta •