$imply $hante