Thoughts on Dual spec'ing