Why are these properties?  Surely they could just be fields.