Label pada menulis untuk memori SI - LabelonWrite.forMemory link kartu atau memory- pada baris jurnal SI untuk setiap labelled dari yang dijalankan, atau, di ENFORCE dengan pemeriksaan kebocoran, ke dasarnya saja ketika cek menemukan fakta bersih dari segala sesuatu yang lain jalankan (LEARKS, kegagalan, sebuah sumber tanpa izin, AUDDIT dan cek non-aktif menjaga setiap sumber, tanpa berlabel konten dan sumber yang ada di masa lalu, PBB:.