Verified LL