We can write things here . . .