All Machines are Guaranteed to be as Advertised