Si los modelos de demostración de teoremas escalan en capacidad 10 veces más rápido que los modelos de codificación, y dado que la prueba es código, entonces, la codificación de vibraciones se realizará mejor a través de un lenguaje de programación con un sistema de prueba, pero diseñado para crear aplicaciones en lugar de matemáticas