various mods
completed tutorial on dual Frobenius implies LEM.