finkel implementation working , cover relations still to be done