at the time it was necessary because we based the syntax on that from the Zanzibar paper (https://zanzibar.tech) but later we decided to make it optional