Strengthened loop condition