public String fetchOption() {
		if(!hasOptionArg()) {
			throw new InputMismatchException("There is no option at the head of ArgSet.");
		} else {
			String s = pop();
			return s.substring(2);
		}
	}