{} || instance || { a b c}
UP ->
D ->