integerp y)
	 (integerp z))
	(<= (+ (foo x) (foo y) (foo z)) 300)))

     )))

#+bags
(encapsulate
    ()

  (local
   (encapsulate
       ()

     (xxinclude-book ; break line to avoid bogus make dependency
      "../bags/top")

     (defequiv+ (bag::memberp x y)
       :pred    memberp-pred
       :equiv   memberp-equiv
       :context memberp-subbag
       :chaining nil
       :keywords nil
       )

     (defequiv+ (bag::subbagp x y)
       :pred    subbagp-pred
       :equiv   subbagp-equiv
       :context subbagp-ctx
       :keywords nil
       )

     (defstub xterm () nil)

     (defun xlist ()
       (list (xterm)))

     (in-theory (disable (xlist)))

     (defthm xterm-becomes-xlist
       (memberp-equiv (xterm) (xlist)))

     (defun x2list ()
       (list (xterm) :2))

     (in-theory (disable (x2list)))

     (defthm xlist-becomes-x2list
       (subbagp-equiv (xlist) (x2list)))

     (in-theory (disable xlist))
     (in-theory (disable x2list))

     (defun fido (x) x)

     (defcongp+ subbagp-equiv-cons-1
       (cons x y)
       :rhs (append z y)
       :cong ((x (equal z (memberp-subbag (fido x)))))
       :equiv subbagp-equiv
       :hints (("goal" :in-theory (e/d (BAG::SUBBAGP-APPEND-2
					BAG::REMOVE-1-OF-APPEND-WHEN-MEMBERP)
				       (BAG::APPEND-REMOVE-1-REDUCTION))))
       )

     (defcongp+ subbagp-equiv-cons-2
       (cons x y)
       :cong ((y (equal z (subbagp-ctx (fido y)))))
       :equiv subbagp-equiv
       )

     (defcongp+ subbagp-equiv-append-1
       (append x y)
       :cong ((x (equal z (subbagp-ctx (fido x)))))
       :equiv subbagp-equiv
       :hints (("goal" :in-theory (enable BAG::SUBBAGP-APPEND-APPEND)))
       )

     (defcongp+ subbagp-equiv-append-2
       (append x y)
       :cong ((y (equal z (subbagp-ctx (fido y)))))
       :equiv subbagp-equiv
       )

     (defund subfn (x y)
       (bag::subbagp y x))

     (defcongp+ subfn-expansion
       (subfn x y)
       :cong ((y (equal z (subbagp-ctx (fido y)))))
       :equiv =>
       :hints (("Goal" :expand (:free (x) (hide x))
		:in-theory (enable subfn)))
       )

     (defthm bag-test
       (implies
	(subfn x (CONS :A (APPEND (X2LIST) (X2LIST) (X2LIST))))
	(subfn x (cons :a
		       (cons (xterm)
			     (append (xlist)
				     (x2list)))))))
     )))This article seeks to recover the importance of George Orwell as a critical public intellectual. Orwell remains a controversial figure for both The New Left and Anarchists during the post-war period. Here I seek to recover the complexity of Orwell’s writing which ranged across a number of political traditions including anarchism, liberalism and democratic socialism against some of the charges made by prominent members of the New Left. Especially critical at this juncture were a number of anarchist writers who were more receptive to Orwell’s influence. In the concluding section I seek to argue that Orwell while not an anarchist remains an important figure for those concerned about the growing authoritarianism of the twenty-first century.
Just had a call from an old friend now residing in Vancouver. He and his new bride have recently (May) opened the RG at 16209 SE McGillivary.
Glenn owned and ran Sackett's Kenai Grill in Cooper Landing, Alaska, for a number of years until last summer when he lost the lease. The KG was world famous, especially with the Salmon fishermen heading from Anchorage down to the river or on to Seward or Homer. Reviews in fishing mags encouraged fellow travlers to be sure and stop, going and returning. A newspaper review called it one of the best places to eat in Alaska.
Glenn tells me he's kept the same menu of dishes that he developed and put his personal touches on. The KG also had a decent selection of wines, so I would expect to find the same at his new place.
He is running a coupon campaign as an opening promotional if you have access to local papers. Otherwise give him a call at 360-883-0271, I'm sure he'd be glad to oblige.
Disclaimer: I have no interest, financial or otherwise in this venture, just hoping Vancouverites and visitors alike enjoy the food as much as we have.
Dave in FresnoJoin the Honister Team!
Honister Slate Mine are looking for a friendly new café assistant, vacancies are available for full and part time contracts.
Our busy little café is sited at the top of Honister Pass, business hours are from 08.00/09.00 and fluctuate from 17.00/18.00 dependant of the seasons – so you have your evenings to yourself.
We pride ourselves on our homemade cakes, hearty soup and welcoming atmosphere. Our customers range from thrill seeking adventurers, families from the tours, walkers and cyclists taking on one of the best hill climbs in the UK, or even customers taking refuge from the typical Lake District weather! Our produce is no frills, simple but proper food with big wedges of cake and freshly ground coffee.
All training is available on-site and given by our team however a willingness to learn is needed.
You will be expected to work weekends and school holidays due to the tourism industry.
Transport is essential for this role; however, we can offer staff-accommodation nestled in the heart Seatoller for full time staff and during peak season we are on the 77A bus route.
Are you passionate about The Lake District & it’s history? Made in Britain? Local handcrafted products?
We are looking for someone who not only ticks the above boxes but won’t be afraid to get creative in this role, someone who will work hard and bring fresh new ideas to the table, not only for our bespoke handmade on-site products but for our luxury homeware & gift products also sold on site.
Our onsite shop at Honister is filled with beautiful, handcrafted products made from Green Slate mined from deep inside Fleetwith Pike less than 500m from the shop along with many other luxury homewares & quirky handpicked goods.
To be successful in this role you will need to be willing to immerge yourself in Honister’s rich industrial history, Being the last working slate mine in England we are visited by many tourists and visitors alike looking to take home their own part of a lake district mountain and you will be part of the team guiding them through their purchase.
Other responsibilities include customer service with a warm friendly smile, being part of a team unpacking deliveries, stock checks, bespoke sign orders, general housekeeping of the shop front and back of house.
You will need to be responsible for your own transport to work.
This role is available as full time or part time with immediate start available. This could also be paired with our mine tour guide role and work on a split of shop assistant days/mine tour guide days.
Honister Slate Mine is the last working Slate Mine in England and we are looking to expand our team and welcome a new team member to our workshop.
We are based at the summit of Honister pass and we have a fully operational slate mine working 7 days a week to keep up with demand for this unique volcanic slate with its rich deep green hue. Our customers are both trade and public, all looking to have a part of a Lake District Mountain as part of their project.
Our time served craftsmen work alongside this magnificent stone to produce a wide range of goods, from kitchen worktops, fire hearths, dining products and accessories to headstones, garden benches, house signs, aggregates, and flooring plus many more bespoke items in both commercial and residential projects. We love a challenge and take immense pride in not just the quality of the stone we work alongside but, in the craftsmanship and care put into producing these items.
We ask that you come with a strong work ethic, common