@morae I should look up formal specifications languages to pick one in which I can design my todo list app