If statement #6 above is passed, this paragraph should be UA-default. The at-rule given above is "@import url(testa.css)", with an @ followed by a text string identifier. The file testa.css contains: "P {font-style: italic; font-weight: bold}". All other properties of this page should be UA-default.