Taking eqc-ci a bit more literally in the instructions