subtyping concepts 672335