Slight simplification of satisfies spec