Unfinished implementation of #12.