CS Irleand Proof