Modeling a loop