I mean, CRuby does “Float Self Tagging” for years. Paper just has the mistake about CRuby.