If kmag had filed anything it would be out there for the public to view, that is where the certainty is. The sec does not have to notify us, as in everyone, when JR files.