Started the limit checker implementation section + some corrections