Reword casting and inference