Start on conversion-properties theory.