{L_VERIFIED_EXPLAIN}