Stats. 801.17(11) not found

Ways to find it: