Selkeä yhteys matematiikkaan, jolloin ohjelma voidaan helposti kirjoittaa vastaamaan määritelmää ja todistaa oikeaksi induktiolla.
selkˈeæ ˈyhteys mˌatematˈiːkːaːn, jˈolloin ohjˈelma vˈoidaːn helpˈostɪ kːɪrjˈoitːaː vastˈaːmaːn mˌæːrɪtˈelmæː ja todˈistaː ˌoikeˈaksɪ ˌinduktɪˈolla.