added proof of the two ways of viewing a signed poset