Added some constraints.
Switched to = symbol for equivalence in doco.