Loop specifications