satisfies : 0