Shorter Logical Investigations