Updated grammar in f-bounded section