Further work on Tarski - still no proof