 the protocol solves the task if and only if there is a continuous map  carried by  . The claim follows because  .  Applying the Discrete Protocol Complex Lemma (0.0.0):  Corollary 0.0.0  _The colorless task_   _has a_  - _set layered snapshot protocol if and only if there is a subdivision_   