PosInfoProp: Positive information propagation - finished!