Thank you, that's exactly what I had in mind when speaking about strongly typed languages. I don't think I could have presented it in a better way.