for g being ConwayGame holds g is strict left-right