Rename definitelyNot4 to definitely_not_4.