Wow! That is a really elegant solution.

I wonder what (if any) pitfalls it has, other than the increased complexity and less obvious correctness (i.e. it would be hard to convince a non-mathematically inclined person that it works properly).