First talk about Boris's G_m result;
then skip straight to fmr result!

G_m:
    Two-sorted language for complex exp
    Uniqueness statement
    Example why not obvious, introducing division systems.

Generalisations:
    pos char
    misha's thesis
    my thesis
    BGH

FMR:
    setup
    classification

Proof:
    atomicity
    collapse; mention BHHKK
    Kummer
