I think it is best to re-iterate virtual here.