Add map law for ex4