Got the easy cases of inference soundness proved