Antag vidare att virefererade