limiteinductive