Modifier:SynthesisImplicitColdLeech1