Man antar , att enhelvetesmaskin