Update 4-semipermeable.json