Docs is updated for Extended Tarski Formula