Why is it necessary to synthesize the environment?