Properties of Machines