Add DecProxy