Quine generation with only fresh, conde and ==.