Tweak prelude.
More thesis work.