All in 2011/12/13/focus_implies_one