An outline of the necessary laws of thought, a treatise on pure and applied logic