Subtract in Machine Root Context, with test and evaluate tests