Improving Logic