Se i modelli di dimostrazione dei teoremi stanno aumentando la loro capacità 10 volte più velocemente dei modelli di codifica, e dato che la prova è codice, allora la vibrazione della codifica sarà meglio realizzata attraverso un linguaggio di programmazione che presenta un sistema di prova, ma progettato per costruire app piuttosto che matematica.