If for all evaluate
Limit: