tarski-makarios lemmas 2 and 3