Presentations from fhinkel