One thing that makes this very difficult is that fancy types like this seem like they might make the specificity algorithm a complete nightmare.