super expanded annotations now shrunk down again: focus on pinpointing the location of inconsistencies caused by incorrect assignments