@dg Heh, it can be simplified.