For each a.mem.S and f.mem.m(S), denote by $l_{a}$ f(s)=f(as) for all s.mem.S. If A is a norm closed left translation invariant subalgebra of m(S) (i.e. $l_{a}$ f.mem.A whenever f.mem.A and a.mem.S) containing 1, the constant ont function on S and .phi..mem. $A^{*}$, the dual of A, then .phi. is a mean on A if .phi.(f).geq.0 for f.geq.0 and .phi.(1) = 1, .phi. is multiplicative if .phi. (fg)=.phi.(f).phi.(g) for all f, g.mem.A; .phi. is left invariant if .phi.(1sf)=.phi.(f) for all s.mem.S and f.mem.A. It is well known that the set of multiplicative means on m(S) is precisely .betha.S, the Stone-Cech compactification of S[7]. A subalgebra of m(S) is (extremely) left amenable, denoted by (ELA)LA if it is nom closed, left translation invariant containing contants and has a multiplicative left invariant mean (LIM). A semigroup S is (ELA) LA, if m(S) is (ELA)LA. A subset E.contnd.S is left thick (T. Mitchell, [4]) if for any finite subser F.contnd.S, there exists s.mem.S such that $F_{s}$ .contnd.E or equivalently, the family { $s^{-1}$ E : s.mem.S} has finite intersection property.y.