A NON-SUBSTITUTION THEOREM WITH HETEROGENEOUS LABOR Abstract