DaNang-1905 Post Mortem
May 29, 2019
9:52 PM
Replace "Engine-Speedy" with a recovered "Engine-Compact".
Put \Lambda into all qualifying objects.
"Small" means "belonging to some ideal"; only F *or* G need to be small!