anthophyllite is polymorphic with cummingtonite this technique can be used to show that presburger arithmetic is decidable each october yachats is the site of the yachats village mushroom festival