added module about the semantics of function