for x being set
for g being ConwayGame st x in the_Options_of g holds
x is ConwayGame-like left-right