corrected minor bug in satisfies