
5: A* = C and (not B)
10: B* = A
15: C* = D
20: D* = B 