ALLRUNS Some postcondition will be met after ALL runs of a differential equation represented using square brackets, in contrast to the < > used by SOMERUNS