What should we write here . . .