İnvariantları tanımlamak, hataların bulunmasından daha kolaydır. Kafiyeli.