claim	andrew-LoweBan,I	Nisynch_I1	-	Ok	[proof of correctness]
claim	andrew-LoweBan,I	Secret_I2	kir	Ok	[proof of correctness]
claim	andrew-LoweBan,R	Nisynch_R1	-	Ok	[proof of correctness]
claim	andrew-LoweBan,R	Secret_R2	kir	Ok	[proof of correctness]
