<jmkogut> I think we'll use ~> or whatever eventually.