You are now leaving Ingress. Click the link to continue to https://en.wikipedia.org/wiki/Antecedent_(logic).