So assuming that accepting/producing subtypes is a real phenomenon, an accepting subtype (leading function subtype) would get along better with their semi-dual?