Implement the "covered" function