How must a finite set of statements be described