I think this should be true, @djazayeri and @rkorytkowski right?