&curlyeqsucc