Updated due to renaming assertions->referee.