Properties are meant here as defined in Cheng Lou's talk - optimization, analyzability, hackability, readability