Is the language L = {a^m b^n a^n b^m | m, n >= 1} context free? Based on my understanding, I ended up at the following grammar:
