Without witnesses

Tools