Matita Konita presentations