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.