More readable annotations. Implement a summary diff.