i find myself in a mental cul-de-sac over this: thinkpad x carbon 1 3rd gen or x250? (or even, wait for the yoga 12.5 inch, which has been out in the us for at least half a year but still, in singapore, akan datang-ing.) suggestions solicited and gratefully received at the usual places.