Stats. 801.17(8) not found

Ways to find it: