- abstract machine discussion
- todos defined
- draft of code for quantifiers