Improved recurrence

More constraints