How one specify it involves assumptions that already determines the answer.
That is the beauty of an operation specification. My motto is: If you can’t program it you don’t understand it. :-))
That is the beauty of an operation specification. My motto is: If you can’t program it you don’t understand it. :-))