Hint one the form of definitions