@karlnapf, @lisitsyn, does this make sense to you? I don't know what this is for.