Further syntax explorations