operator inference