all checking for one-dimensional Terminations away..