The grammar we are going with