Recursive elimination