class C

feature

	f alias "+" convert: BOOLEAN is
		do
		end

end