Arbitrary inference
 
x
OK