Definition of Coopertus