Model simplified; shift axiomatised.