For that annoying stuff, let me bring the topic of naked shorting again. Are we still being naked shorted?