class DEFERRED_CREATOR 

feature

	New: like Current is
		do
			!!Result
		end

end