Refined the specificaton.