Wenzel coverage makes no sense