Strong works in nominal cases
Work for all decorations
Support style nesting