Quine generation with only fresh, conde and ==