Partially resolved, but assertions `aa` - `ad` still not covered.