deferred class
	USABLE

feature

	is_interface_usable: BOOLEAN
		deferred
		end

end