I tried to prove that GRC is NOT boring!