@standupmaths my PhD is in computability and exactly this kind of thing, so I can help with design