Renamed InequalityHelpers to ExplicitlySpecHelpers.
Added overloaded "after being" method that takes a Normalization. Seemed to work fine.