Closure of Polynomial Time Under Polynomial-Time Many-One Reductions