Utilizzare normalmente l'ordine inverso per spingere Alpha, perché appare frequentemente la necessità di verifica?