Annotate some implemented methods