Model baru ini menggabungkan perbaikan dalam pemrograman, penalaran dan analisis, serta mekanisme keamanan baru.