/* (non-Javadoc) * @see JSHOP2.LTLExpression#applySubstitution(JSHOP2.Term[]) */ public LTLExpression applySubstitution(Term[] binding) { return new LTLNegation(operand.applySubstitution(binding)); }