colis: fourth meeting, determinism proof.
Handles etc.