Promises and Symbolic Arguments