Twardy argument
0.092574119567871