ambiente alignat

❓
Ciao a tutti!
Sto cercando di scrivere in Beamer una dimostrazione di logica in modo tale che ogni riga sia numerata e affiancata da una etichetta che giustifica il passaggio (e.g. [per Assioma 1]). Guardando online ho visto che consigliano l’ambiente alignat, ne ho guardato la documentazione ma non riesco a compilare nel modo corretto:

`\begin{alignat}{2}
& \forall (p \boxright A) \rightarrow (\neg A \boxright A) \quad && \text{UINS} \\
& (\neg A \boxright A) \rightarrow (p \boxright A) \quad && \text{VAC} \\

\end{alignat}
`
Cosa sbaglio? Probabilmente molte cose visto che uso Latex da poco, però non riesco proprio a venirne fuori 🙁