atom, polymorphism, and depth