Remove satisfied TODO.