Para completion and Inferences