2 lazy tests for <== operator