Bad refactor will cause problems in the verifiers (and the portal will not start)