Remark 24:
borrowed Wilke/Bigelow-car