#+title: necessary labor-time