Rose therefore recommended "explicit consistency checks in a protocol ... even if they impose implementation overhead".

Input check = Tests the user input, as opposed to some internal data structure or the output of a function.