What's Inside Shorter Logical Investigations | tbr*a