The NAV Academy - Proofs