Martin Frauwallner presentations