Ok. I believe it is working well in practice also.