This code is new, but I suppose semantically it makes no difference?