Cut back intro to size inference