added {array}.empty()