Many thanks to Ronald Hayden for their contribution!