Localizing Constructor Logic