thus we write here