Ferbasova Proofs 2025