related work: darte formulation