More notes
Syntax review
with-state macro