This is an alternative account of Lax.