Requires #8.
Requires #8.