prove fitness rule over tars