After "b", it is always the case that "c" holds.
After "Ia", it is always the case that "b" holds.