for a being Aleph holds cf (nextcard a) = nextcard a