Notes on implenting proposition-transfer process.