Unless I'm misreading, in this line, positive is defined as "> 0" but it's defined as "== 1" above. The latter might be the safer definition.