Feasible Mathematics II