Question: if bond and/or Samsung payments are fulfilled, today being a significant deadline, then wouldn’t we see an SEC doc being filed today? Something like an 8-k to that effect?

TIA