Есть спецификация на сабж?

А то я понять не могу, зачем позволять такое вот:

internal IsEmpty : bool { protected get; private set; }

Это компилится и даже создаётся разумный код. Но зачем позволять-то набирать такую в данном случае даже противоречивую белиберду?

Правильно ли я понимаю, что правила используются следующие: видимость акессоров должна быть не больше видимости свойства (в [спорном] порядке private, propected, protected internal, internal, public). Если у акессора не указан атрибут видимости, то используется атрибут свойства.