3.20 define
⋮