Annotated B5 assignment