Finished rejiggering implicit things. Trying to compile.