Hot: witnessvotetest