Added proof that doesn't work with the --without-K option.