Abstract Leaves - Bi-fold Programs