Experimenting vertex definitions and modal method calls.