Working_with_type_checking