koher 1/25/2018 9:13 AM

集合じゃなくて論理の方