invocation, to be tested