SATISFIES_NONE