Backwardssubstitution and Testing