Technical report by Leo Demner