if a language allows different types in an expression, it must do an automatic  coercion 

coercion and CAST are synonyms even though not all languages get this right

These are all false

conversion and CAST are synonyms even though not all languages get this right

conversion changes the storage format and coercion does not