Yes it is; that’s what I was thinking when I started to comment but somehow I ended up reversing course. Comment is appropriately edited now.