1ns+1: x >= 10
