finished: univocal, faithful and completeness_naive
Authored by: hannesklarner 2016-02-02
Parent: [r161]
Child: [r163]