The challenge problems do not require the formalisation of large programming languages, but they do require sophistication in reasoning about:
The challenge problems do not necessitate the formalization of sophisticated programming languages, yet they still demand a high degree of logical reasoning to: