More efficient and more precise lazy comparison.