Alice -- Added name argument to unused Property constructor