All inferences are working :)
all inferences are working