contradiction from non-strict positivity