There is exactly one atomic sentence form of L (call it 'A'), which is always a tautology, and whose negation 'negate A', is always a formal contradiction. What is this special, general type of atomic sentence?
I know that it must be a two-place relation but beyond that I don't know what it could possibly be.