rpc uses entailment module.