Incorporating more parts of Roman's PhD thesis into doc/.