adding in pseudo code for calculating coverings