We're getting somewhere, syntactically