Added map, many, succeed, laws