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: