premise: Python lacks a dynamic type system.
hypothesis: Python (programming language) . Python features a dynamic type system and automatic memory management and supports multiple programming paradigms , including object-oriented , imperative , functional programming , and procedural styles .