yes, although I realise that what I wrote above is wrong