Propp-Wilson Coupling from the Past Theorem