Hover info for implication introduction step hypothesis