unsatisfactoriness
not defined yet