Tag: External decorating contract