Some claims can’t be expressed in a concise way

2
0
posted Mar 21, 2022