The contract is NFA (NFA)