Ergo holds

Ergo holds