transfer-proof formulas