На каких условиях можно считать ссылочные типы правильно сконструированными и соответствующими стандартам?