Took out failure cases, assigned l-values, and added some more description.