History testing/case17.pat