add and modify to check an example in Section 4 of the workshop paper