aaah sorry. didn't get your “→” syntax.
Yeah you're right with your comment.