deferred class PARENT

feature

	after: BOOLEAN
		deferred
		end

	forth
		require
			after: after
		deferred
		end

end