Apologies: my immediate previous post was originally wrong and I have now corrected it with improved description of the Thru machines.