So in summary, the Capitol isn't closing and there are no cinema operators interested. So we can probably stop discussing it now.