Show: add [@opaque].