first missing positive reimpl