전제: 전임인 올리페카 칼라스부오는 비상임 이사 자격으로 계속 남게 되며, 최고경영자 자리는 마이크로소프트의 사업부 사장인 스티븐 엘롭이 맡는다.
함의: 스티븐 엘롭은 마이크로소프트의 사업부 사장이다.
모순: 올리페카 칼라스부오는 최고경영자를 맡게 된다.