satisfies : 1