no need for the extra subtyping query