satisfiedly

not defined yet