So what I'm going to do in is ambiguous is I'm going to keep building up all these derivations until I can't expand anymore, and then I'm going to look at all the derivations that yield the string I was originally looking for, all the derivations once fully expanded yield ab, and then check to see if I got there the same way. 