Stats. 801.17(15) not found

Ways to find it: