#derive #converge #v #proceeds #fl #descend