e.g., if they're allowed without labels (in nested loops) and if allowed without labels how deep they can be. motivation is around explicitness