try not requiring sub_expo
comments removed
simplify
inspects