A short proof that $O_2$ is an MCFL | Read Paper on Bytez