That the input is matched position by position to alternative patterns and the first one is returned is another one of said assumptions.