dual-logic documents