Shorter Logic