Alexis - UTSA Grad 2026{proofs}