Title: Grammar and logic