It was not obvious to me why this is allowed. It would be nice to extend this comment explaining why this is allowed. ( @nick29581 thanks for the explaining it to me )