Implementation: something about invocation