Refined specs in TODO lists