logisk kongress har underförra