This type of method is written by people who use Alice, in addition to the built-in methods.