tfw strongly held belief A implies X and strongly held belief B implies not-X