case x in x)