Say is nested if for all either