Rules of Inference by Mel Bochner