"F -> G/empty"@en . . .