started subtyping chapter (Sub.v)