We are not able to get rid of the statement "this sentence is true" no matter which way we toggle it. I think the problem is in the acceptance of the if uncond

We are not able to get rid of the statement "this sentence is true" no matter which way we toggle it. I think the problem is in the acceptance of the if unconditionally without merit. That automatically couples it to the condition of the second, which essentially merges symbol A and B into a third symbol which is necessarily itself, but has been defined as conditionally itself.