everywhere descending
@ :