Two Terms In Logic