Understanding liberal logic