**: { style.border-radius: 16 } **: { &label: end label: ⬤ shape: circle height: 10 width: 10 } **: { &label: start label: ⬤ label.near: center-center style.fill: black shape: circle height: 10 width: 10 } **: { &shape: diamond label: "" height: 20 width: 20 } start -> Check PIN Check PIN: { direction: right start -> Enter PIN choice.shape: diamond Enter PIN -> choice: "/check PIN" choice -> Enter PIN: "[pin invalid]" choice -> end: "[pin OK]" } Check PIN -> Search Network: "[pin OK]" Search Network -> Ready: network found Check PIN -> Off: power off Search Network -> Off: power off Ready -> Off: power off