cf. my remarks above (text, hasCh)