Completed all_satisfies