  In this paper we define the basic concepts for left or right Leibniz algebras
and prove some of the main results. Our proofs are often variations of the
known proofs and several results seem to be new.
