promote TODOs in object classifier section to lemmas