Hover info for implication introduction