Next: sb, Previous: dn, Up: Equivalence Rules
This is one of the few equivalence rules that deals with conditionals.