Added functional notations