@darrel_miller For me it is the first
approach that I find actually usable given its formal approach. And I didn't say
that others can't.