The obvious thing to suggest is that it is the logical 'must,' which certainly is unconditional in just this sense: the kind of necessity, which we assert to hold, for instance, when we say that whatever is a right angled triangle must be a triangle, or that whatever is yellow must be either yellow or blue.