[ Cai ] thaum lub sij hawm: [ Cai ]

☞ x ≔ 0.
{ x ntxiv: 1. } thaum lub sij hawm: { ↲ (x < 6). }.
✎ sau ntawv: x, tsum.
6