we should cast