Is there any reason for those double negation ?