Now we can write