The seven liberal arts as servants of theology