lt -> eq