FIX: informal grammar example