The Shorter Logical Investigations door