complete synopsis of symmetric delta lenses
thought of another important thing to check on before too long
flesh out last case of partition proof a bit -- just one lemma left to prove