Proof / Cast_and