< x : True >