What substitution produces آمَنَ from أَأْمَنَ?

Rules of Hamzated Forms: Lightening, Substitution, Elision and Short Paradigms

• Second hamzah becomes wāw
• First hamzah is simply deleted
• Second hamzah becomes alif
• Both hamzahs become yāʾ