alpha lower; numbered PROPERTIES