Working on the syntax chapter of the slbook