New: zeropointwitness