and cases rather than detailed general proofs. Coverage of practical implementation,