Por ejemplo, en la Figura 1 de arriba, el programa de verificación ve la evaluación "mate en tres ply (Rc6)".