Tagged contract-translation