Pokud se modely dokazující věty škálují 10x rychleji než kódovací modely a vzhledem k tomu, že důkazem je kód, pak bude kódování vibrací nejlépe prováděno pomocí programovacího jazyka obsahujícího systém důkazů, ale navržený spíše pro vytváření aplikací než pro matematiku.