satisfying equo