Updating TODOs in Clarify