I have to admit that I didn't dare to write the above code.