O que significa há de convir?