quickly cover the three main theorems of Stevens' algebraic explorations of delta lenses