todos from asimov