1ns+0: 4 <=> 2 = false
2ns+0: 4 <=> 7 = true
11ns+0: 4 <=> 2 = true
12ns+0: 4 <=> 7 = false
