adding pseudo code for coverings