Properties.lidr 10 KB