Liberal Logic Explained