added checks when modifying vaurien state