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