learn_with_lazygeneration_no_bound_at_the_end