Wottop/positive facts can be zero