see [[Intermittent pneumatic compression]].