As the pocket-protector version of the ThinkPad X1 Extreme, Lenovo’s ThinkPad P1 (starts at $1,679; $3,567 →