Build CFG for the following language: {a^i b^j c^k | j not equal to i + k}. I have already tried the following CFG, but it miss some cases.
S---> AB A--->
