narfaubanzu lujvo

x1 (event) is a sufficient condition for x2 to not happen

See also banzu.