Terminology 53: If we may infer, with a statement \phi in the context, that a statement \psi holds, then we may conclude that \phi entails \psi , denoted \phi \vdash \psi, in the context obtained by removing \phi while keeping all other assumptions. Such a conclusion, called an entailment, will also be considered an inference.