The polynomial bound on auxiliary functions presupposes a fixed machine model, but feasibility judgm...