Implementation: method resolution