satisfied term

no