Partially resolved but assertions `aa` - `ac` still not covered.