factorized
chug
greens
Prussians
Lucy
momentum
lemma