actual | bound all^left^right actual | dp | bound all^left^right left right void