I only learned it today when I wrote the above code :)