fixed implementation of None

from (a + b < c) to (a + b <= c)