Proof this system is complicated.