Switch right arrow to more correct implies arrow