The four properties of the machine