Reply To: A new clean foundation for mathematics