Redintegrate definitions