Beginnings of report on theory and implementation