prejudgments
not defined yet