4 ms·Or writing a formal specification which would resolve the problems mentionned in the sibling comments.by Monkeyget 17y agoOr writing a formal specification which would resolve the problems mentionned in the sibling comments.