an Entity references as follows:
Terminates the execution of an `Executable` block of code to give back control to the caller. It can pass a value (`has returned expression`) to the caller on return.