Added kernel module (protecting proofs)
..