Note on Rules of Inference