#732: #707: second half

opened by thuchacz