In All But Very Rare Cases Loops Must Contain Within Themselves