haribo and proof theory