Beauty! And Rightarrow or rightarrow may not be that big of a deal after all. We can still change it if people start commenting that it's confusing.
deal!
