5.5541 How could we decide a priori whether, for example, I can get into a situation in which I need to symbolize with a sign of a 27-termed relation?