Some work on syntax