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