satisfaciendum

not defined yet