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