new section about dynamic type checking