to box {with}, [ boxed ; boxed ]