Term Gallery logo

formal proof