Difference between a method and a function
Not all programming languages distinguish between methods and functions.
For example, Java makes no distinction between methods and functions.
Alice does make that distinction.
According to the Alice terminology: