Porta 4 nella progettazione umana: la porta della formulizzazione