Annotated solution