Remark 13: Engine uncertain