Krestianify — Incr/Decr Counter
One Renkon program → model nodes declared → done
Two peers · same reflector