for C being Coherence_Space holds {} in C