Hot: check-witnesses