Email Record: The solvability of the decision problem for classes of proper formulas and related results /