Remark 11:
Took farewall lap