TODO.md: ideas for state predicates