[Subsolution Enviornment]