David Bradley, he is a great man to have designed this function.
And sometimes, even ctrl+ALt+Del will not work. Only restart will do.
Thanks for sharing.