Improve specification further