Minimal grammars now check subsets, not supersets