Массив из одного элемента

[Kliper]

Может быть потому, что массив - это набор элементов, а какой может быть набор из одного элемента?

Массив, может быть даже с нулевым количеством элементов (динамический массив)

[Валенок]

Массив, может быть даже с нулевым количеством элементов (динамический массив)

)) Давайте про Ложик.
Ваше

Это именно проблема реализации ST в Owen Logic.

Да.

Хоть [13..13]