Logic Simplified