Annotated 4.c