Re: Reason - Is it a precondition of our function?
Must it be either or, can it not be a mix of the two?