(L equivalent D) and (H implies D) and not (L and D)