Next picture. The Martinez-Boguta Theorem (and Kovas is all smiles).