"2017.302.6.1 a-b" . . .