proc . , visar sig alltså,