We should use the done and todo pattern used elsewhere in the code.