type(div == greet)
