全称型／存在型のことを調べていて（「全称型？ 存在型？ ‥‥？？」参照）、気になったことがありました。some（論理記号 ∃）と any（論理記号 ∀）がほぼ同じ意味で使われていたり、用法が逆転していたりが起きていて、これは何でだろう？ と疑問を感じました…