aJw({v≺)

hXV
Vhw
`aJw`
cJ(_)