Verified loop is working