How many witches could a witchtrap trap if a witchtrap could trap witches?