Månne några andra korollarier kunnalogiskt