sketch of semantic APIs for dual names