check in the initial lean