Prove CILS