Liberal logic