3 ms·non-paywall: https://archive.is/7RQdA https://archive.is/7RQdAby skm12 10mo agonon-paywall: https://archive.is/7RQdA https://archive.is/7RQdA