Adding the check library