Implemented above.