Construcción incremental
QF funciona mejor cuando cada instrucción añade una intención verificable sobre lo que ya existe.
- 1
Dibuja un triángulo ABC. - 2
Traza la altura BH. - 3
Marca el ángulo recto en H. - 4
Mueve B y comprueba que la altura continúa vinculada.
Seleccionar una figura antes de continuar fija el contexto mediante su ID interno, aunque otros objetos repitan las mismas etiquetas visibles.