Switch replacement. in Gilboa

Switch replacement in Gilboa

Parameters