Beholder logic

I found this argument in the I Tyrant AD&D supplement and decided to try it out in symbolic form just because I could. Beholders are both seekers of knowledge and power and are also paranoids.

It is necessary to acquire knowledge at any cost.  I have knowledge others do not; some of these ignorant creatures are of the ideal breed; therefore, others of the ideal breed are out to get me.

Paraphrasing:

1. For everyone and for all knowledge these don't have, then it is necessary to acquire it
2. For everyone and for all knowledge  If I have it and it has to be acquired by them, then they are out to get me
3. There's knowledge  I have and there are members of the ideal breed who don't have it

Therefore, there's a member of the ideal breed who's out to get me

Symbolizing:

Me=m

1	∀x(∀y[(Ky˄~Hxy)→Axy])	Premise
2	∀x(∀y(Ky˄Hmy˄Axy)→Gxm)	Premise (enthymeme)
3	∃y(Ky˄Hmy˄∃x(Bx˄~Hxy))	Premise
∴	∃x(Bx˄Gxm)	Conclusion

Alternate:

1. For everyone and for all knowledge they don't have, then it is necessary to acquire it from anyone
2. For everyone and for all knowledge, If it has to be acquired from anyone then they are out to get those
3. There's knowledge  I have and there are members of the ideal breed who don't

Therefore, there's a member of the ideal breed who's out to get me

1	∀x(∀y[(Ky˄~Hxy)→∀zAxyz])	Premise
2	∀x(∀y∀z([Ky˄Axyz]→Gxz))	Premise (enthymeme)
3	∃y(Ky˄Hmy˄∃x(Bx˄~Hxy))	Premise
∴	∃x(Bx˄Gxm)	Conclusion

Both prove valid