subtyping in more detail
wording