Logic That Works