Added stipulation about only one loop