- [ ] s-expressions such as for Slate ex: (and (not a) (if (iff a b))) - [ ] infix notation ex: (a and (b if (c or (not d)))) - [ ] "Aaron Perl" format
